7

Data processing for industrial automation

Year:
2003
Language:
english
File:
PDF, 609 KB
english, 2003
13

LQ control design for the containment of the HIV/AIDS diffusion

Year:
2018
Language:
english
File:
PDF, 1.82 MB
english, 2018
15

Proof nets sequentialisation in multiplicative linear logic

Year:
2008
Language:
english
File:
PDF, 551 KB
english, 2008
17

Jump from parallel to sequential proofs: exponentials

Year:
2016
Language:
english
File:
PDF, 1.49 MB
english, 2016
33

On session types and polynomial time

Year:
2016
Language:
english
File:
PDF, 244 KB
english, 2016